MIT's Optics and Quantum Electronics Seminar
About Nonlocally
Past Seminars
Apply as a Speaker
2026-02-11 11:00:00 | America/New_York
Maor Ben-Shahar
MIT
Lean for physics applications
I will show an application of the Lean automated theorem proved in physics.
Speaker's Bio
BSc: Victoria university of Wellington, NZ MSc+PhD: Uppsala University, Sweden Postdoc: MIT